منابع مشابه
Combinatorial structure of type dependency
Article history: Received 7 June 2014 Available online 16 October 2014 Communicated by G. Rosolini MSC: 03B15; 03G30 We give an account of the basic combinatorial structure underlying the notion of type dependency. We do so by considering the category of generalised algebraic theories in the sense of Cartmell, and exhibiting it as the category of algebras for a monad on a presheaf category. The...
متن کاملDependency Structure of Binary Conjunctions(of the IF..., THEN... Type)
The dependency surface-syntactic structure is proposed, within the Meaning-Text framework, for binary conjunctions of the IF–THEN type; e.g.: IF→Y, THEN←X A universal typology of conjunctions is sketched, and three examples of English binary conjunctions are given. Binary conjunctions are “discontinuous” phrasemesidioms, collocations and formulemes that have to be considered together with their...
متن کاملUsing Optimal Dependency-Trees for Combinatorial Optimization: Learning the Structure of the Search Space
Many combinatorial optimization algorithms have no mechanism to capture inter-parameter dependencies. However, modeling such dependencies may allow an algorithm to concentrate its sampling more effectively on regions of the search space which have appeared promising in the past. We present an algorithm which incrementally learns second-order probability distributions from good solutions seen so...
متن کاملHeads and Phrases. Type Calculus for Dependency and Constituent Structure
From a logical perspective, categorial type systems can be situated within a landscape of substructural logics | logics with a structure-sensitive consequence relation. Research on these logics has shown that the inhabitants of the substructural hierarchy can be systematically related by embedding translations on the basis of structural modalities. The modal operators offer controlled access to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2015
ISSN: 0022-4049
DOI: 10.1016/j.jpaa.2014.07.015